Definition of diameter of non empty set